Classical and Nonclassical Logics
نویسنده
چکیده
Schechter, Eric, 1950– Classical and nonclassical logics : an introduction to the mathematics of propositions / Eric Schechter. p. cm. Includes bibliographical references and index. British Library Cataloging-in-Publication Data is available The publisher would like to acknowledge the author of this volume for providing the camera-ready copy from which this book was printed.
منابع مشابه
Polyadic Algebras over Nonclassical Logics
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)’s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Lukasiewicz, modal logics that admit the ru...
متن کاملRevisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
What is modularity? Which kind of modularity should developers strive for? Despite decades of research on modularity, these basic questions have no definite answer. We submit that the common understanding of modularity, and in particular its notion of information hiding, is deeply rooted in classical logic. We analyze how classical modularity, based on classical logic, fails to address the need...
متن کاملForeword: Three-valued logics and their applications
Three-valued logics belong to a family of nonclassical logics that started to flourish in the 1920s and 1930s, following the work of ( Lukasiewicz, 1920), and earlier insights coming from Frege and Peirce (see (Frege, 1879), (Frege, 1892), (Fisch and Turquette, 1966)). All of them were moved by the idea that not all sentences need be True or False, but that some sentences can be indeterminate i...
متن کاملGame theoretical semantics for some non-classical logics
Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We als...
متن کاملProof-Theoretic Methods in Nonclassical Logic — an Introduction
This is an introduction to proof theory of nonclassical logic, which is directed at people who have just started the study of nonclassical logics, using proof-theoretic methods. In our paper, we will discuss only its proof theory based on sequent calculi. So, we will discuss mainly cut elimination and its consequences. As this is not an introduction to sequent systems themselves, we will assume...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006